$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$, $n$:$\mathbb{N}$. (($n$ $\cdot$$r$ $b$) $\ast$ $a$) = ($n$ $\cdot$$r$ ($b$ $\ast$ $a$)) $\in$ $\mid$$r$$\mid$